A high abstraction level approach for detecting feature interactions between telecommunication services
نویسندگان
چکیده
منابع مشابه
Detecting Feature Interactions in Telecommunication Services with a SAT Solver
Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper we present an automatic method for detecting feature interactions in service specifications. This method uses bounded model checking, a SAT-based automatic verification technique.
متن کاملDetecting Feature Interactions in Telecommunication Services by Bounded Model Checking
Feature interaction refers to situations where a combination of different services behaves differently than expected from the single services’ behaviors. In today’s intelligent telecommunication networks, feature interaction is considered a major obstacle to the introduction of new features. We propose a new interaction detection approach which uses bounded model checking. The central idea behi...
متن کاملDetecting Feature Interactions between SIP Call Control Services
The Session Initiation Protocol (SIP) is a strong contender as a call control protocol for Voice over IP (VoIP), and indeed commercial implementations are readily available off-the-shelf. SIP supports flexible service provisioning not only through third parties, but also end-users. Laboratory experience shows that as these services are interworking they are subject to the feature interaction pr...
متن کاملNew Feature Interactions in Mobile and Multimedia Telecommunication Services
Some previously unidentified sources of feature interaction arising in mobile and multimedia telecommunication systems are presented. We discuss how these feature interactions might be managed by feature developers and service providers. The Distributed Feature Composition (DFC) architecture has proven to be a valuable tool for elucidating these feature interactions, and for describing desirabl...
متن کاملModel Inference Approach for Detecting Feature Interactions in Integrated Systems
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these techniques is in question, keeping in view time-to-market delivery and scarcity of available resources. The situation is even more intractable when little or no knowledge of components is provided. We introduce a novel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of King Saud University - Computer and Information Sciences
سال: 2013
ISSN: 1319-1578
DOI: 10.1016/j.jksuci.2012.10.002